1

Forcing operators on MTL-algebras

Year:
2011
Language:
english
File:
PDF, 166 KB
english, 2011
2

Lexicographic MV-algebras and lexicographic states

Year:
2014
Language:
english
File:
PDF, 440 KB
english, 2014
4

Omitting Types Theorem for Fuzzy Logics

Year:
2018
Language:
english
File:
PDF, 580 KB
english, 2018
6

Skolemization and Herbrand theorems for lattice-valued logics

Year:
2019
Language:
english
File:
PDF, 1.14 MB
english, 2019